Sorries no son lo difícil: revisión experta en formalización semiautónoma
Descubre cómo la revisión experta reveló graves problemas en una formalización semiautónoma de un teorema clave, más allá de los 'sorries'.
#formalización semiautónoma
Descubre cómo la revisión experta reveló graves problemas en una formalización semiautónoma de un teorema clave, más allá de los 'sorries'.